Process and Policy: Resource-Bounded NonDemonstrative Reasoning
نویسندگان
چکیده
منابع مشابه
Process and Policy: Resource-Bounded Nondemonstrative Reasoning
This paper investigates the appropriateness of formal dialectics as a basis for non-monotonic and defeasible reasoning that takes computational limits seriously. Rules that can come into conflict should be regarded as policies, which are inputs to deliberative processes. Dialectical protocols are appropriate for such deliberations when resources are bounded and search is serial. AI, it is claim...
متن کاملResource - Bounded Practical Reasoning
An architecture for a rational agent must allow for means-end reasoning, for the weighing of competing alternatives, and for interactions between these two forms of reasoning. Such an architecture must also address the problem of resource boundedness. We sketch a solution of the rst problem that points the way to a solution of the second. In particular, we present a high-level speci cation of t...
متن کاملResource-Bounded Reasoning and Paraconsistency
Paraconsistent logic formalizes reasoning from inconsistent information. The preservationist variety of this logic concerns itself with forms of reasoning that preserve properties of information other than those, like overall satisfy and consistency, preserved by classical forms. The study of computation and information processing in the presence of inconsistency has utilized paraconsistent log...
متن کاملResource-Bounded Reasoning in Phoenix
I started working in resource-bounded reasoning as part of the PHOENIX project (Cohen et al. 1989; Hart & Cohen 1990; Greenberg & Westbrook 1990), while a graduate student in the Experimental Knowledge Systems Laboratory (EKSL) at UMass, Amherst. The PHOENIX problem domain is forest fire fighting, for which EKSL built a sophisticated computer simulation of forest fires in Yellowstone National P...
متن کاملResource-bounded Reasoning about Knowledge
Die Annahme der Dissertation haben empfohlen: Acknowledgments First of all, I wish to thank my supervisor Heinrich Herre for his excellent guidance throughout my studies at the University of Leipzig. I am very much indebted to Peter Steinacker who introduced me to logic and who has always supported and encouraged me during the past several years. Parts of this thesis were done at the Australian...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computational Intelligence
سال: 1998
ISSN: 0824-7935,1467-8640
DOI: 10.1111/0824-7935.00055